既存システムの実装を「事実上の仕様」とみなし、それを形式化することで 「テストでは踏めないバグ」と「実装が暗黙に決めている仕様」を炙り出すための手順書。 仕様書が無い / あてにならない / 仕様と実装がずれている、という現場を前提にする。
Discover gists
Eurekainc
/ Office 2019 Professional Plus Product Key
Created
May 19, 2023 07:37
— forked from moonsbtt/Office 2019 Professional Plus Product Key
Office 2019 Professional Plus Product Key
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| These keys are for Office Professional Plus 2019 | |
| Version: Office19_RTM19_ProPlus2019VL_MAK_AE | |
| BN8D3-W2QKT-M7Q73-Y3JWK-KQC63 (Activation left: 5000+) | |
| PNB29-Y9TKP-BJFD2-RBCXR-DJ4XQ (Activation left: 1500+) | |
| Download Link: ed2k://|file|cn_office_professional_plus_2019_x86_x64_dvd_5e5be643.iso|3775004672|1E4FFA5240F21F60DC027F73F1C62FF4|/ | |
| or please download from trusted source! |
mizchi
/ formal-methods-playbook.md
Created
July 2, 2026 14:29
実装コードから仕様を吸い出して Z3 / TLA+ でバグを払い出す — 実践プレイブック
kristinakuharenko143-spanglish
/ index.html
Created
October 23, 2026 12:49
Lena class 24.10 (option 1)
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| <!DOCTYPE html> | |
| <html lang="en"> | |
| <head> | |
| <meta charset="UTF-8"> | |
| <meta name="viewport" content="width=device-width, initial-scale=1.0"> | |
| <title>Detective Manor: The Secret House Adventure</title> | |
| <link rel="preconnect" href="https://fonts.googleapis.com"> | |
| <link rel="preconnect" href="https://fonts.gstatic.com" crossorigin> | |
| <link href="https://fonts.googleapis.com/css2?family=Fredoka:wght@400;600;700&family=Nunito:wght@700;800;900&display=swap" rel="stylesheet"> | |
| <style> |
pisculichi
/ radios_nacionales.txt
Last active
October 23, 2026 13:15
URLs de radios nacionales de Argentina, para poder escuchar en la terminal con mplayer o vlc
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| # alias radio='function __radio(){ r=`grep -v "#" radios_nacionales.txt | grep -m 1 -i $1 | cut -d" " -f1`; cvlc $r 2> /dev/null; }; __radio' | |
| # podria utilizarse mplayer en vez de vlc | |
| AMs Nacionales | |
| http://cdn.instream.audio:9288/stream Radio Madre 530 | |
| https://streaming1.hostingmontevideo.com:7019/; Radio Colonia 550 | |
| http://server.laradio.online:25224/live.mp3 Radio Argentina 570 | |
| http://playerservices.streamtheworld.com/api/livestream-redirect/CONTINENTAL_SC Continental 590 | |
| https://streammax.alsolnet.com/radiorivadavia Rivadavia 630 |
A pattern for building personal knowledge bases using LLMs.
This is an idea file, it is designed to be copy pasted to your own LLM Agent (e.g. OpenAI Codex, Claude Code, OpenCode / Pi, or etc.). Its goal is to communicate the high level idea, but your agent will build out the specifics in collaboration with you.
Most people's experience with LLMs and documents looks like RAG: you upload a collection of files, the LLM retrieves relevant chunks at query time, and generates an answer. This works, but the LLM is rediscovering knowledge from scratch on every question. There's no accumulation. Ask a subtle question that requires synthesizing five documents, and the LLM has to find and piece together the relevant fragments every time. Nothing is built up. NotebookLM, ChatGPT file uploads, and most RAG systems work this way.
andreasheige
/ claude-code-setup.md
Last active
October 23, 2026 13:09
My Claude Code setup: guardrails, a plan gate, shared memory, a self-maintaining wiki that dreams, and the toolbox around it
This is a tour of how I run Claude Code day to day: the ideas, how the pieces connect and what broke along the way. Steal whatever is useful.
Want to install the core instead of reading about it? The guardrails, the plan gate, the workflow plugin and starter files (CLAUDE.md, deny list, git hooks, a plan, a rule, a memory fact) are in andreasheige/claude-plugins (MIT), with a step-by-step "start here".
Don't install all of this. The order I'd recommend:
yifanwang-yet
/ libretv-sources.json
Last active
October 23, 2026 13:08
LibreTV 点播源+直播源订阅 (2026-10-13 实测)
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| { | |
| "name": "yifan 精选源列表 (2026-10-13 实测可用)", | |
| "version": 2, | |
| "sources": [ | |
| { "name": "暴风资源", "url": "https://bfzyapi.com/api.php/provide/vod", "isAdult": false }, | |
| { "name": "非凡资源", "url": "https://cj.ffzyapi.com/api.php/provide/vod", "isAdult": false }, | |
| { "name": "量子资源", "url": "https://cj.lziapi.com/api.php/provide/vod", "isAdult": false }, | |
| { "name": "无尽资源", "url": "https://api.wujinapi.me/api.php/provide/vod", "isAdult": false }, | |
| { "name": "优酷资源", "url": "https://api.ukuapi88.com/api.php/provide/vod", "isAdult": false }, | |
| { "name": "光速资源", "url": "https://api.guangsuapi.com/api.php/provide/vod", "isAdult": false }, |
JavanXD
/ modbus_wgt.yaml
Last active
October 23, 2026 13:05
SchwörerHaus WGT BIC VentCube Fresh Home Assistant Integration via modbus
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| # Helpful information: | |
| # https://github.com/Excodibur/ioBroker.schwoerer-ventcube/blob/master/src/lib/schwoerer/parameters.ts | |
| # https://github.com/fgoettel/wgt/blob/main/wgt/lueftungsanlage.py | |
| # https://knx-user-forum.de/forum/öffentlicher-bereich/knx-eib-forum/diy-do-it-yourself/1822296-modbus-schwörer-heizung?p=1906252#post1906252 | |
| ################## | |
| # MODBUS SENSORS # | |
| ################## | |
| modbus: |
dominikmartn
/ black-october-mac-check.md
Last active
October 23, 2026 13:05
Black October: paste into Claude Code or Codex to check your Mac. Checks first, asks before every fix. As of 2026-10-23.
As of 2026-10-23. For people who run AI coding agents (Claude Code, Codex, and similar) on their Mac with full shell access.
How to use it: paste this file into your agent and say: run the checks, report, then ask me before every fix.
Lines marked "What we saw" come from two Macs (macOS 26.6.2 and 27.0.1) on Oct 22 and 23. Everything else comes from the linked sources. Versions change daily, so check them against the sources.
NewerOlder